Atomic semantics - PDFSEARCH.IO - Document Search Engine

Atomic semantics
Results: 21

#	Item
11	The VLDB Journal[removed]:279–302 DOI[removed]s00778[removed]SPECIAL ISSUE PAPER Quantifying eventual consistency with PBS Add to Reading List Source URL: www.bailis.org Language: English - Date: 2014-06-18 02:42:59 Data Information Quorum Consistency model Eventual consistency Apache Cassandra Regular semantics Safe semantics Atomic semantics Data management Concurrency control Transaction processing
12	always more Greg Restall School of Philosophy, Anthropology and Social Inquiry The University of Melbourne [removed] Add to Reading List Source URL: www.consequently.org Language: English - Date: 2010-11-15 08:48:37 Boolean algebra Modal logic Semantics Proposition Negation Tautology Possible world Contingency Atomic formula Logic Mathematical logic Propositional calculus
13	Anti-Realist Classical Logic and Realist Mathematics Greg Restall School of Philosophy, Anthropology and Social Inquiry The University of Melbourne October 13, 2009 Add to Reading List Source URL: www.consequently.org Language: English - Date: 2009-10-13 01:54:21 Semantics Proof theory Quantification Propositional calculus First-order logic Interpretation Intuitionistic logic Well-formed formula Atomic formula Logic Mathematical logic Predicate logic
14	Reasoning with Triggers Claire Dross Sylvain Conchon Johannes Kanig Add to Reading List Source URL: smt2012.loria.fr Language: English - Date: 2012-06-20 03:34:17 Predicate logic Model theory Semantics Logic in computer science Formal languages Satisfiability Modulo Theories First-order logic Interpretation Atomic formula Logic Theoretical computer science Mathematical logic
15	Logic without Model Theory Robert Kowalski Abstract Arguably, model theory serves two main functions: (1) to explain the relationship between language and experience, and (2) to specify the notion of logical consequence. Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-02-14 05:21:07 Semantics Logical syntax Meaning Entailment Interpretation Truth Model theory Modal logic Atomic sentence Logic Philosophical logic Philosophy of language
16	An Agent Language with Destructive Assignment and Model-Theoretic Semantics Robert Kowalski and Fariba Sadri Department of Computing, Imperial College London, 180 Queens Gate, London SW7 2AZ {rak, fs}@doc.ic.ac.uk Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-06-19 04:56:36 Mathematics Abductive logic programming Frame problem Prolog Action selection Event calculus Predicate Atomic sentence Situation calculus Logic Logic programming Mathematical logic
17	Anti-Realist Classical Logic and Realist Mathematics Greg Restall School of Philosophy, Anthropology and Social Inquiry The University of Melbourne October 13, 2009 Add to Reading List Source URL: consequently.org Language: English - Date: 2009-10-13 01:54:21 Semantics Proof theory Quantification Propositional calculus First-order logic Interpretation Intuitionistic logic Well-formed formula Atomic formula Logic Mathematical logic Predicate logic
18	always more Greg Restall School of Philosophy, Anthropology and Social Inquiry The University of Melbourne [removed] Add to Reading List Source URL: consequently.org Language: English - Date: 2010-11-15 08:48:37 Boolean algebra Modal logic Semantics Proposition Negation Tautology Possible world Contingency Atomic formula Logic Mathematical logic Propositional calculus
19	Vagueness, Truth and Logic Author(s): Kit Fine Source: Synthese, Vol. 30, No. 3/4, On the Logic Semantics of Vagueness (Apr. - May, 1975), Add to Reading List Source URL: www.niu.edu Language: English - Date: 2011-04-05 10:44:21 Semantics Veracity Fuzzy logic Vagueness Predicate Truth Atomic sentence First-order logic Function Logic Predicate logic Philosophical logic
20	ONTOLOGY, SEMANTICS, AND PHILOSOPHY OF MIND IN WITTGENSTEIN’S TRACTATUS : A FORMAL RECONSTRUCTION Add to Reading List Source URL: homepages.ipact.nl Language: English - Date: 2008-10-16 15:01:50 Logical syntax Formal languages Binary operations Philosophical logic Atomic sentence Structure Interpretation If and only if String Logic Mathematics Model theory

UPDATE